翻訳と辞書
Words near each other
・ parmod
・ pars
・ parsec
・ parser
・ parser generator
・ parsing
・ parsley
・ partial differential equation language
・ partial equivalence relation
・ partial evaluation
partial function
・ partial key
・ partial ordering
・ partial response maximum likelihood
・ partially ordered set
・ partition
・ partitioned data set
・ parts
・ parulel
・ pasc


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

partial function : FOLDOC
partial function
A function which is not defined for all arguments of its input type. E.g.
f(x) = 1/x if x /= 0.

The opposite of a total function. In denotational semantics, a partial function
f : D -> C

may be represented as a total function
ft : D' -> lift(C)

where D' is a superset of D and
ft x = f x if x in D
ft x = bottom otherwise

where lift(C) = C U bottom. Bottom (LaTeX perp) denotes "undefined".
(1995-02-03)

perp) denotes "undefined".
(1995-02-03)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.